journal of the acm meaning in Chinese

美国计算机学会学报

19 kleinberg j m . authoritative sources in a hyperlinked environment . journal of the acm , 1999 , 46 : 604 - 632
为解决这些问题，本文提出一种新的符号网络共体挖掘算mcs算法。
3 halpern j , zuck l . a little knowledge goes a long way : simple knowledge based derivations and correctness proofs for a family of protocols . journal of the acm , 1992 , 39 : 449 - 478
并且他们只是用认识逻辑描述协议的规范,但没有给出相应的算法,即给出一个具体的协议，如何自动生成公理集并自动验证他满足一些认知规范